digraph G {
	margin=0;
	nodesep=0.3;
	ranksep=0.3;
	{rank=same;
	1 [shape=circle, label="1", fontcolor=blue, group=l, style=invis];
	2 [shape=circle, label="2", fontcolor=blue, group=r, style=invis];
	}
	{rank=same;
	3 [shape=circle, label="3", fontcolor=blue, group=l, style=invis];
	4 [label=<<FONT COLOR="blue">4</FONT>:<FONT COLOR="red">A</FONT>>, group=r, style=invis];
	}
	{rank=same;
	5 [label=<<FONT COLOR="blue">5</FONT>:<FONT COLOR="red">C</FONT>>, group=l];
	6 [shape=circle, label="6", fontcolor=blue, group=r];
	}
	
	1->2[label="a", fontcolor=blue, style=invis];
	1->3[label="b", fontcolor=blue, style=invis];
	2->3[label="c", fontcolor=blue, dir=back, style=invis];
	2->4[label="d", fontcolor=blue, dir=back, style=invis];
	3->4[label="e", fontcolor=blue, dir=back, style=invis];
	3->5[label="f", fontcolor=blue, style=invis];
	4->5[label="g", fontcolor=blue, style=invis];
	5->6[label="h", fontcolor=blue, dir=back];
}